[INFO] fetching crate logicaffeine-proof 0.9.8...
[INFO] testing logicaffeine-proof-0.9.8 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate logicaffeine-proof 0.9.8 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate logicaffeine-proof 0.9.8
[INFO] finished tweaking crates.io crate logicaffeine-proof 0.9.8
[INFO] tweaked toml for crates.io crate logicaffeine-proof 0.9.8 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate logicaffeine-proof 0.9.8 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate logicaffeine-proof 0.9.8 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b6357c4b0b83060601852810f197f73a66931ce15911b72818e8f14279809eec
[INFO] running `Command { std: "docker" "start" "-a" "b6357c4b0b83060601852810f197f73a66931ce15911b72818e8f14279809eec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b6357c4b0b83060601852810f197f73a66931ce15911b72818e8f14279809eec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b6357c4b0b83060601852810f197f73a66931ce15911b72818e8f14279809eec", kill_on_drop: false }`
[INFO] [stdout] b6357c4b0b83060601852810f197f73a66931ce15911b72818e8f14279809eec
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1901efd96409f394f49a6bb1b049e50c240e2f85bd133e3c21b203361cb54422
[INFO] running `Command { std: "docker" "start" "-a" "1901efd96409f394f49a6bb1b049e50c240e2f85bd133e3c21b203361cb54422", kill_on_drop: false }`
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling logicaffeine-base v0.9.8
[INFO] [stderr]    Compiling logicaffeine-kernel v0.9.8
[INFO] [stderr]    Compiling logicaffeine-proof v0.9.8 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]   --> src/lib.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[cfg(feature = "verification")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `default`
[INFO] [stdout]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `compose_substitutions`
[INFO] [stdout]   --> src/engine.rs:33:39
[INFO] [stdout]    |
[INFO] [stdout] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]     --> src/engine.rs:4054:11
[INFO] [stdout]      |
[INFO] [stdout] 4054 |     #[cfg(feature = "verification")]
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `default`
[INFO] [stdout]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]    --> src/engine.rs:527:15
[INFO] [stdout]     |
[INFO] [stdout] 527 |         #[cfg(feature = "verification")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `default`
[INFO] [stdout]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:679:14
[INFO] [stdout]     |
[INFO] [stdout] 679 |         for (idx, impl_expr) in implications {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `antecedent`
[INFO] [stdout]    --> src/engine.rs:680:39
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consequent`
[INFO] [stdout]    --> src/engine.rs:680:51
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:858:14
[INFO] [stdout]     |
[INFO] [stdout] 858 |         for (idx, forall_expr) in universals {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> src/engine.rs:859:40
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/engine.rs:859:50
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `from`
[INFO] [stdout]     --> src/engine.rs:1537:26
[INFO] [stdout]      |
[INFO] [stdout] 1537 |                     for (from, to) in &substitutions {
[INFO] [stdout]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> src/engine.rs:1775:43
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `world`
[INFO] [stdout]     --> src/engine.rs:1775:55
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ante`
[INFO] [stdout]     --> src/engine.rs:1823:43
[INFO] [stdout]      |
[INFO] [stdout] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stdout]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_cons2`
[INFO] [stdout]     --> src/engine.rs:2648:55
[INFO] [stdout]      |
[INFO] [stdout] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stdout]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:129:39
[INFO] [stdout]     |
[INFO] [stdout] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound_vars`
[INFO] [stdout]     --> src/unify.rs:1385:43
[INFO] [stdout]      |
[INFO] [stdout] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stdout]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rename_term_vars` is never used
[INFO] [stdout]     --> src/engine.rs:3069:8
[INFO] [stdout]      |
[INFO] [stdout]  177 | impl BackwardChainer {
[INFO] [stdout]      | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.73s
[INFO] running `Command { std: "docker" "inspect" "1901efd96409f394f49a6bb1b049e50c240e2f85bd133e3c21b203361cb54422", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1901efd96409f394f49a6bb1b049e50c240e2f85bd133e3c21b203361cb54422", kill_on_drop: false }`
[INFO] [stdout] 1901efd96409f394f49a6bb1b049e50c240e2f85bd133e3c21b203361cb54422
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c8f7c02631d0807109288d0b9378cd0f6163fba97083b147d5c5517aaebb08c2
[INFO] running `Command { std: "docker" "start" "-a" "c8f7c02631d0807109288d0b9378cd0f6163fba97083b147d5c5517aaebb08c2", kill_on_drop: false }`
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]   --> src/lib.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[cfg(feature = "verification")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `default`
[INFO] [stdout]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `compose_substitutions`
[INFO] [stdout]   --> src/engine.rs:33:39
[INFO] [stdout]    |
[INFO] [stdout] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]     --> src/engine.rs:4054:11
[INFO] [stdout]      |
[INFO] [stdout] 4054 |     #[cfg(feature = "verification")]
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `default`
[INFO] [stdout]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]    --> src/engine.rs:527:15
[INFO] [stdout]     |
[INFO] [stdout] 527 |         #[cfg(feature = "verification")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `default`
[INFO] [stdout]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:679:14
[INFO] [stdout]     |
[INFO] [stdout] 679 |         for (idx, impl_expr) in implications {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `antecedent`
[INFO] [stdout]    --> src/engine.rs:680:39
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consequent`
[INFO] [stdout]    --> src/engine.rs:680:51
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:858:14
[INFO] [stdout]     |
[INFO] [stdout] 858 |         for (idx, forall_expr) in universals {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> src/engine.rs:859:40
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/engine.rs:859:50
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `from`
[INFO] [stdout]     --> src/engine.rs:1537:26
[INFO] [stdout]      |
[INFO] [stdout] 1537 |                     for (from, to) in &substitutions {
[INFO] [stdout]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> src/engine.rs:1775:43
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `world`
[INFO] [stdout]     --> src/engine.rs:1775:55
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling logicaffeine-proof v0.9.8 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `ante`
[INFO] [stdout]     --> src/engine.rs:1823:43
[INFO] [stdout]      |
[INFO] [stdout] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stdout]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_cons2`
[INFO] [stdout]     --> src/engine.rs:2648:55
[INFO] [stdout]      |
[INFO] [stdout] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stdout]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:129:39
[INFO] [stdout]     |
[INFO] [stdout] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound_vars`
[INFO] [stdout]     --> src/unify.rs:1385:43
[INFO] [stdout]      |
[INFO] [stdout] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stdout]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rename_term_vars` is never used
[INFO] [stdout]     --> src/engine.rs:3069:8
[INFO] [stdout]      |
[INFO] [stdout]  177 | impl BackwardChainer {
[INFO] [stdout]      | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]   --> src/lib.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[cfg(feature = "verification")]
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `default`
[INFO] [stdout]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `compose_substitutions`
[INFO] [stdout]   --> src/engine.rs:33:39
[INFO] [stdout]    |
[INFO] [stdout] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]     --> src/engine.rs:4054:11
[INFO] [stdout]      |
[INFO] [stdout] 4054 |     #[cfg(feature = "verification")]
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `default`
[INFO] [stdout]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `verification`
[INFO] [stdout]    --> src/engine.rs:527:15
[INFO] [stdout]     |
[INFO] [stdout] 527 |         #[cfg(feature = "verification")]
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `default`
[INFO] [stdout]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:679:14
[INFO] [stdout]     |
[INFO] [stdout] 679 |         for (idx, impl_expr) in implications {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `antecedent`
[INFO] [stdout]    --> src/engine.rs:680:39
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consequent`
[INFO] [stdout]    --> src/engine.rs:680:51
[INFO] [stdout]     |
[INFO] [stdout] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stdout]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `idx`
[INFO] [stdout]    --> src/engine.rs:858:14
[INFO] [stdout]     |
[INFO] [stdout] 858 |         for (idx, forall_expr) in universals {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> src/engine.rs:859:40
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/engine.rs:859:50
[INFO] [stdout]     |
[INFO] [stdout] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stdout]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `from`
[INFO] [stdout]     --> src/engine.rs:1537:26
[INFO] [stdout]      |
[INFO] [stdout] 1537 |                     for (from, to) in &substitutions {
[INFO] [stdout]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]     --> src/engine.rs:1775:43
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `world`
[INFO] [stdout]     --> src/engine.rs:1775:55
[INFO] [stdout]      |
[INFO] [stdout] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stdout]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ante`
[INFO] [stdout]     --> src/engine.rs:1823:43
[INFO] [stdout]      |
[INFO] [stdout] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stdout]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neg_cons2`
[INFO] [stdout]     --> src/engine.rs:2648:55
[INFO] [stdout]      |
[INFO] [stdout] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stdout]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:119:39
[INFO] [stdout]     |
[INFO] [stdout] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/hints.rs:129:39
[INFO] [stdout]     |
[INFO] [stdout] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bound_vars`
[INFO] [stdout]     --> src/unify.rs:1385:43
[INFO] [stdout]      |
[INFO] [stdout] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stdout]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `rename_term_vars` is never used
[INFO] [stdout]     --> src/engine.rs:3069:8
[INFO] [stdout]      |
[INFO] [stdout]  177 | impl BackwardChainer {
[INFO] [stdout]      | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.52s
[INFO] running `Command { std: "docker" "inspect" "c8f7c02631d0807109288d0b9378cd0f6163fba97083b147d5c5517aaebb08c2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8f7c02631d0807109288d0b9378cd0f6163fba97083b147d5c5517aaebb08c2", kill_on_drop: false }`
[INFO] [stdout] c8f7c02631d0807109288d0b9378cd0f6163fba97083b147d5c5517aaebb08c2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 43b3f4096fedea0b05f322ce79e3340bb04c319c8f59ba9f64b44661d767e39b
[INFO] running `Command { std: "docker" "start" "-a" "43b3f4096fedea0b05f322ce79e3340bb04c319c8f59ba9f64b44661d767e39b", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition value: `verification`
[INFO] [stderr]   --> src/lib.rs:31:7
[INFO] [stderr]    |
[INFO] [stderr] 31 | #[cfg(feature = "verification")]
[INFO] [stderr]    |       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected values for `feature` are: `default`
[INFO] [stderr]    = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `compose_substitutions`
[INFO] [stderr]   --> src/engine.rs:33:39
[INFO] [stderr]    |
[INFO] [stderr] 33 |     apply_subst_to_expr, beta_reduce, compose_substitutions, unify_exprs, unify_pattern,
[INFO] [stderr]    |                                       ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `verification`
[INFO] [stderr]     --> src/engine.rs:4054:11
[INFO] [stderr]      |
[INFO] [stderr] 4054 |     #[cfg(feature = "verification")]
[INFO] [stderr]      |           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: expected values for `feature` are: `default`
[INFO] [stderr]      = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stderr]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition value: `verification`
[INFO] [stderr]    --> src/engine.rs:527:15
[INFO] [stderr]     |
[INFO] [stderr] 527 |         #[cfg(feature = "verification")]
[INFO] [stderr]     |               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: expected values for `feature` are: `default`
[INFO] [stderr]     = help: consider adding `verification` as a feature in `Cargo.toml`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `idx`
[INFO] [stderr]    --> src/engine.rs:679:14
[INFO] [stderr]     |
[INFO] [stderr] 679 |         for (idx, impl_expr) in implications {
[INFO] [stderr]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `antecedent`
[INFO] [stderr]    --> src/engine.rs:680:39
[INFO] [stderr]     |
[INFO] [stderr] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stderr]     |                                       ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_antecedent`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `consequent`
[INFO] [stderr]    --> src/engine.rs:680:51
[INFO] [stderr]     |
[INFO] [stderr] 680 |             if let ProofExpr::Implies(antecedent, consequent) = &impl_expr {
[INFO] [stderr]     |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_consequent`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `idx`
[INFO] [stderr]    --> src/engine.rs:858:14
[INFO] [stderr]     |
[INFO] [stderr] 858 |         for (idx, forall_expr) in universals {
[INFO] [stderr]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_idx`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> src/engine.rs:859:40
[INFO] [stderr]     |
[INFO] [stderr] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stderr]     |                                        ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `body`
[INFO] [stderr]    --> src/engine.rs:859:50
[INFO] [stderr]     |
[INFO] [stderr] 859 |             if let ProofExpr::ForAll { variable, body } = &forall_expr {
[INFO] [stderr]     |                                                  ^^^^ help: try ignoring the field: `body: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `from`
[INFO] [stderr]     --> src/engine.rs:1537:26
[INFO] [stderr]      |
[INFO] [stderr] 1537 |                     for (from, to) in &substitutions {
[INFO] [stderr]      |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_from`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]     --> src/engine.rs:1775:43
[INFO] [stderr]      |
[INFO] [stderr] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stderr]      |                                           ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `world`
[INFO] [stderr]     --> src/engine.rs:1775:55
[INFO] [stderr]      |
[INFO] [stderr] 1775 |             if let ProofExpr::Predicate { name, args, world } = expr {
[INFO] [stderr]      |                                                       ^^^^^ help: try ignoring the field: `world: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ante`
[INFO] [stderr]     --> src/engine.rs:1823:43
[INFO] [stderr]      |
[INFO] [stderr] 1823 |                 if let ProofExpr::Implies(ante, cons) = expr {
[INFO] [stderr]      |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_ante`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `neg_cons2`
[INFO] [stderr]     --> src/engine.rs:2648:55
[INFO] [stderr]      |
[INFO] [stderr] 2648 | ...                   if let ProofExpr::Not(neg_cons2) = cons2.as_ref() {
[INFO] [stderr]      |                                             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neg_cons2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `body`
[INFO] [stderr]    --> src/hints.rs:119:39
[INFO] [stderr]     |
[INFO] [stderr] 119 |         ProofExpr::ForAll { variable, body } => {
[INFO] [stderr]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `body`
[INFO] [stderr]    --> src/hints.rs:129:39
[INFO] [stderr]     |
[INFO] [stderr] 129 |         ProofExpr::Exists { variable, body } => {
[INFO] [stderr]     |                                       ^^^^ help: try ignoring the field: `body: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bound_vars`
[INFO] [stderr]     --> src/unify.rs:1385:43
[INFO] [stderr]      |
[INFO] [stderr] 1385 | fn rename_vars_to_bound(expr: &ProofExpr, bound_vars: &[String]) -> ProofExpr {
[INFO] [stderr]      |                                           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bound_vars`
[INFO] [stderr] 
[INFO] [stderr] warning: method `rename_term_vars` is never used
[INFO] [stderr]     --> src/engine.rs:3069:8
[INFO] [stderr]      |
[INFO] [stderr]  177 | impl BackwardChainer {
[INFO] [stderr]      | -------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 3069 |     fn rename_term_vars(&mut self, term: &ProofTerm) -> ProofTerm {
[INFO] [stderr]      |        ^^^^^^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `logicaffeine-proof` (lib) generated 19 warnings (run `cargo fix --lib -p logicaffeine-proof` to apply 15 suggestions)
[INFO] [stderr] warning: `logicaffeine-proof` (lib test) generated 19 warnings (19 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logicaffeine_proof-01974827c1b029b5)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test hints::tests::test_conjunction_hint ... ok
[INFO] [stdout] test hints::tests::test_modus_ponens_hint ... ok
[INFO] [stdout] test hints::tests::test_direct_match_hint ... ok
[INFO] [stdout] test unify::tests::test_alpha_equivalence_forall ... ok
[INFO] [stdout] test unify::tests::test_compose_substitutions ... ok
[INFO] [stdout] test unify::tests::test_alpha_equivalence_nested ... ok
[INFO] [stdout] test hints::tests::test_reflexivity_hint ... ok
[INFO] [stdout] test unify::tests::test_alpha_equivalence_exists ... ok
[INFO] [stdout] test unify::tests::test_unify_different_constants ... ok
[INFO] [stdout] test unify::tests::test_occurs_check ... ok
[INFO] [stdout] test unify::tests::test_unify_var_constant ... ok
[INFO] [stdout] test unify::tests::test_unify_same_constant ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests logicaffeine_proof
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test src/error.rs - error (line 18) ... ok
[INFO] [stdout] test src/unify.rs - unify::apply_subst_to_term (line 692) ... ok
[INFO] [stdout] test src/unify.rs - unify::compose_substitutions (line 1133) ... ok
[INFO] [stdout] test src/certifier.rs - certifier::CertificationContext (line 50) ... ok
[INFO] [stdout] test src/unify.rs - unify::unify_terms (line 509) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.60s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "43b3f4096fedea0b05f322ce79e3340bb04c319c8f59ba9f64b44661d767e39b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "43b3f4096fedea0b05f322ce79e3340bb04c319c8f59ba9f64b44661d767e39b", kill_on_drop: false }`
[INFO] [stdout] 43b3f4096fedea0b05f322ce79e3340bb04c319c8f59ba9f64b44661d767e39b
